Logic model - PDFSEARCH.IO - Document Search Engine

Logic model
Results: 5700

#	Item
851	Probabilistic Temporal Logics via the Modal Mu-Calculus Rance Cleaveland a S. Purushothaman Iyer b Murali Narasimha c a Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2006-02-09 15:25:09 Theoretical computer science Temporal logic Model theory Linear temporal logic Logic in computer science Probabilistic logic Probabilistic bisimulation Interpretation Substitution Logic Mathematical logic Non-classical logic
852	LESSONS IN EVALUATING COMMUNICATIONS CAMPAIGNS FIVE CASE STUDIES Prepared for the Communications Consortium Media Center By Julia Coffman June 2003 Add to Reading List Source URL: www.hfrp.org Language: English - Date: 2008-02-12 23:32:08 Social psychology Impact assessment Attitude Behavior change Logic model Framing Advocacy evaluation Theory of planned behavior Evaluation methods Evaluation Behavior
853	The Complexity of Model Checking Multi-Stack Systems Benedikt Bollig Laboratoire Sp´ecification et V´erification, ´ Ecole Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2013-08-22 11:45:56 Mathematics Symbol Nested word Temporal logic Interpretation Structure Linguistics Normal distribution Formal languages Model theory Logic
854	The Declarative Imperative: Experiences and Conjectures in Distributed Logic Joseph M. Hellerstein Electrical Engineering and Computer Sciences Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2010-06-01 23:42:06 Query languages Programming paradigms Datalog Database management systems Database theory Prolog Logic programming SQL Relational model Computing Data management Software engineering
855	Evaluation News - June 2011 Add to Reading List Source URL: www.bja.gov Language: English - Date: 2012-02-27 09:08:54 United States Department of Justice Science Impact assessment Drug rehabilitation Bureau of Justice Assistance Drug court Logic model Program evaluation Center for Court Innovation Evaluation Evaluation methods Ethics
856	Automatically Enhancing Constraint Model Instances during Tailoring Andrea Rendl, Ian Miguel, Ian P. Gent Chris Jefferson School of Computer Science, University of St Andrews, UK Add to Reading List Source URL: andrearendl.com Language: English - Date: 2013-08-29 08:25:07 Logic programming Constraint satisfaction Local consistency Common subexpression elimination SCIP ECLiPSe Constraint programming Declarative programming Software engineering
857	1 Errata ”Principles of Model Checking” (JulyThanks to the Model Checking Reading Club at the Radboud University of Nijmegen, The Netherlands (in particular David N. Jansen and Frits W. Vaandrager), Holger He Add to Reading List Source URL: www-i2.informatik.rwth-aachen.de Language: English - Date: 2010-07-30 08:23:30 Constructible universe Mathematics Symbol Linear temporal logic PP
858	Finding Minimal Unsatisfiable Cores of Declarative Specifications Emina Torlak, Felix Chang and Daniel Jackson Formal Methods ’08 · Turku, Finland · May 30, 2008 Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:59 Formal methods Metalogic Proof theory Mathematical logic Model theory Formal proof Model checking Mathematical proof Logic Mathematics Automated theorem proving
859	Lisp and Symbolic Computation, 2, ) © 1989 Kluwer Academic Publishers--Manufactured in The Netherlands. Integrating Logic and Functional Programming* HASSAN AIT-KACI ROGER NASR Add to Reading List Source URL: www.hassan-ait-kaci.net Language: English - Date: 2013-12-06 10:30:34 Model theory Lambda calculus Predicate logic Automated theorem proving Logic programming Unification Combinatory logic Fixed-point combinator Interpretation Mathematics Mathematical logic Logic
860	Memory & Cognition 2003, 31 (7), Counterexamples in sentential reasoning P. N. JOHNSON-LAIRD and URI HASSON Princeton University, Princeton, New Jersey Add to Reading List Source URL: www.behaviometrix.com Language: English - Date: 2008-10-24 13:52:28 Reasoning Deduction Thought Mental model Inference Argument Counterexample Entailment Validity Logic Arguments Logical consequence

UPDATE